Commutator theory without join-distributivity
نویسندگان
چکیده
منابع مشابه
Polymorphic Subtyping Without Distributivity
The subtyping relation in the polymorphic second-order-calculus was introduced by John C. Mitchell in 1988. It is known that this relation is undecidable, but all known proofs of this fact strongly depend on the distributivity axiom. Nevertheless it has been conjectured that this axiom does not innuence the undecidability. The present paper shows undecidability of subtyping when we remove distr...
متن کاملCommutator Theory for Loops
Using the Freese-McKenzie commutator theory for congruence modular varieties as the starting point, we develop commutator theory for the variety of loops. The fundamental theorem of congruence commutators for loops relates generators of the congruence commutator to generators of the total inner mapping group. We specialize the fundamental theorem into several varieties of loops, and also discus...
متن کاملCommutator Theory for Uniformities
We investigate commutator operations on compatible uniformities. We present a commutator operation for uniformities in the congruence-modular case which extends the commutator on congruences, and explore its properties. Introduction The purpose of this paper is to generalize the commutator of congruences to a commutator of compatible uniformities. Commutator theory (on congruences) works best f...
متن کاملTowards Commutator Theory for Relations
In a general algebraic setting, we state some properties of commutators of reflexive admissible relations. After commutator theory in Universal Algebra has been discovered about thirty years ago [12], many important results and applications have been found. An introduction to commutator theory for congruence modular varieties can be found in [2] and [3]. Shortly after, results valid for larger ...
متن کاملCommutator Theory for Compatible Uniformities
We investigate commutator operations on compatible uniformities. We define a commutator operation for uniformities in the congruence-modular case which extends the commutator on congruences, and explore its properties. Introduction The purpose of this paper is to generalize the commutator of congruences to a commutator of compatible uniformities. Commutator theory (on congruences) works best fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1994
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-1994-1257643-7